Uppsala University - PDFSEARCH.IO - Document Search Engine

Uppsala University
Results: 799

#	Item
31	Reasoning About Distributed Systems: WYSIWYG∗ Aiswarya Cyriac1 and Paul Gastin2 1 Uppsala University, Sweden Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2014-12-11 10:15:34
32	A Persian Treebank with Stanford Typed Dependencies Mojgan Seraji, Carina Jahani, Be´ata Megyesi, Joakim Nivre Uppsala University, Department of Linguistics and Philology E-mail: Abstrac Add to Reading List Source URL: www.lrec-conf.org Language: English - Date: 2014-05-20 12:21:27
33	UCDP Battle-Related Deaths Dataset Codebook Version 17.2 Uppsala Conflict Data Program (UCDP) Department of Peace and Conflict Research, Uppsala University Add to Reading List Source URL: ucdp.uu.se Language: English - Date: 2018-01-11 13:53:43
34	Punished for austerity? Pär Nyman∗ Department of Government Uppsala University Paper prepared for the NOPSA conference 2014 31st July 2014 Add to Reading List Source URL: www.parnyman.com Language: English - Date: 2014-09-09 09:13:11
35	Dynamic Budgeting for Settling DRAM Contention of Co-running Hard and Soft Real-time Tasks Jonas Flodin, Kai Lampka, Wang Yi Department of Information Technology, Uppsala University Email: {jonas.flodin, kai.lampka, yi}@ Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-04-24 09:17:09
36	UCDP One-sided Violence Codebook Version 1.4 – September, 2016 Uppsala Conflict Data Program Department of Peace and Conflict Research, Uppsala University This version compiled and updated by Therése Pettersson (2012 Add to Reading List Source URL: www.pcr.uu.se Language: English - Date: 2017-10-03 04:16:41
37	Lecture 3 Basic Concepts in Mendelian, Population and Quantitative Genetics Bruce Walsh. . University of Arizona. Notes from a short course taught Jan-Feb 2012 at University of Uppsala OVERVIEW Add to Reading List Source URL: nitro.biosci.arizona.edu Language: English - Date: 2012-01-22 23:35:50
38	Craig Interpolation in SAT and SMT Philipp Rümmer Uppsala University Add to Reading List Source URL: satsmt2014.forsyte.at Language: English - Date: 2014-07-12 03:23:15
39	Approximations for Model Construction Aleksandar Zelji´c1 , Christoph M. Wintersteiger2 , and Philipp R¨ ummer1 1 Uppsala University, Sweden Add to Reading List Source URL: www.philipp.ruemmer.org Language: English - Date: 2014-09-22 06:45:01
40	Model-Based Testing of a WAP Gateway: an Industrial Case-Study Anders Hessel and Paul Pettersson Department of Information Technology, Uppsala University, P.O. Box 337, SEUppsala, Sweden. E-mail: {hessel,paupet}@ Add to Reading List Source URL: www.hessel.nu Language: English - Date: 2017-06-26 03:03:03

UPDATE